Sort Abstraction for Static Analyses of Mobile Processes
نویسنده
چکیده
The non-interference type based analysis and its closely related analyses (dead code elimination, program slicing, confidentiality, strictness, etc.) have been throughly studied in many programming paradigms. The work on this area has been initiated with functional programming, see e.g. [HR98, Pro00, ABHR99], as well as imperative programming, e.g. [SV98]. Following this idea, similar approaches have been studied for process algebras, see e.g. [Aba97, HR00, YH00, HVY00, Kob03]). Nevertheless, works on process algebras are hampered by the fact that there is no canonical notion of types. Moreover, in most typing systems of the literature one has the following kind of rule:
منابع مشابه
Mobile Groups
Group communication has been proved as an effective abstraction for constructing reliable distributed applications [5]. Traditional group communication systems [4, 5, 6, 7, 8] are based on static processes. However, static processes are no longer the unique way of structuring distributed applications. Currently, some form of migrating process, i.e., a process that can change its location in the...
متن کاملارزیابی رابطه SCS در تعیین تلفات اولیه باران در حوضه های آبریز
The main scope of this research is evaluation of Soil Conservation Service Procedure in derivation of initial abstraction of precipitation in watershed scale. For this purpose Dalaki watershed which is located in south east of Iran was selected then by using hec-hms and GIS models and a number of observed rainfall runoff events some parameters like CN of watershed ,K and X of Muskingam meth...
متن کاملDesign and Evaluation of a Method for Partitioning and Offloading Web-based Applications in Mobile Systems with Bandwidth Constraints
Computation offloading is known to be among the effective solutions of running heavy applications on smart mobile devices. However, irregular changes of a mobile data rate have direct impacts on code partitioning when offloading is in progress. It is believed that once a rate-adaptive partitioning performed, the replication of such substantial processes due to bandwidth fluctuation can be avoid...
متن کاملVirtual stationary timed automata for mobile networks
In this thesis, we formally define a programming abstraction for mobile networks called the Virtual Stationary Automata programming layer, consisting of real mobile clients, virtual timed I/O automata called virtual stationary automata (VSAs), and a communication service connecting VSAs and client nodes. The VSAs are located at prespecified regions that tile the plane, defining a static virtual...
متن کاملApplication of static analyses for state-space reduction to the microcontroller binary code
This article describes the application of two abstraction techniques, namely dead variable reduction and path reduction, to microcontroller binary code in order to tackle the state-explosion problem in model checking. These abstraction techniques are based on static analyses, which have to cope with the peculiarities of binary code such as hardware dependencies, interrupts, recursion, and globa...
متن کامل